8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.

Next SectionMedical ethics and law education in the UK is undergoing continuous transformation. In parallel, human rights teaching with respect to health is expanding as a distinct field. Yet a resistance to the inclusion of human rights in the medical ethics and law curriculum persists. In response to Stirrat and colleagues, this article seeks to highlight the mutual benefit that could be derived from an integration of human rights into the already established medical ethics and law teaching in medical schools. (...) It proposes that incorporating human rights into the curriculum would add value to traditional medical ethics and law teaching and provide a promising opportunity to enhance the interest from the student body. (shrink)

LetCbe an axiom system formalized within the first order functional calculus, and letC′ be related toCas the Bernays-Gödel set theory is related to the Zermelo-Fraenkel set theory. Ilse Novak [5] and Mostowski [8] have shown that, ifCis consistent, thenC′ is consistent. Mostowski has also proved the stronger result that any theorem ofC′ which can be formalized inCis a theorem ofC.The proofs of Novak and Mostowski do not provide a direct method for obtaining a contradiction inCfrom a contradiction inC′. We could, (...) of course, obtain such a contradiction by proving the theorems ofCone by one; the above result assures us that we must eventually obtain a contradiction. A similar process is necessary to obtain the proof of a theorem inCfrom its proof inC′. The purpose of this paper is to give a new proof of these theorems which provides a direct method of obtaining the desired contradiction or proof.The advantage of the proof may be stated more specifically by arithmetizing the syntax ofCandC′. (shrink)

In _Pharmaceutical Freedom_ Professor Flanigan argues we ought to grant people self-medication rights for the same reasons we respect people’s right to give (or refuse to give) informed consent to treatment. Despite being the most comprehensive argument in favour of self-medication written to date, Flanigan’s _Pharmaceutical Freedom_ leaves a number of questions unanswered, making it unclear how the safe-guards Flanigan incorporates to protect people from harming themselves would work in practice. In this paper, I extend Professor Flanigan’s account by discussing (...) a hypothetical case to illustrate how these safe-guards could work together to protect people from harms caused by their own ignorance or incompetence. (shrink)

This paper presents a simple mathematical model that shows how economic inequality between social groups can arise and be maintained even when the only adaptive learning process driving cultural evolution increases individuals’ economic gains. The key assumptions are that human populations are structured into groups and that cultural learning is more likely to occur within than between groups. Then, if groups are sufficiently isolated and there are potential gains from specialization and exchange, stable stratification can sometimes result. This model predicts (...) that stratification is favored, ceteris paribus, by (1) greater surplus production, (2) more equitable divisions of the surplus among specialists, (3) greater cultural isolation among subpopulations within a society, and (4) more weight given to economic success by cultural learners. (shrink)

This book provides an introduction to postphenomenology, an emerging school of thought in the philosophy of technology and science and technology studies, which addresses the relationships users develop with the devices they use.

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

Kirk’s aim in this book is to bridge what he calls “the intelligibility gap,” expressed in the question, “How could complex patterns of neural firing amount to this?”. He defends a position that he describes as “broadly functionalist,” which consists of several theses. I will briefly review them.

What motives underlie the ways humans interact socially? Are these the same for all societies? Are these part of our nature, or influenced by our environments?Over the last decade, research in experimental economics has emphatically falsified the textbook representation of Homo economicus. Literally hundreds of experiments suggest that people care not only about their own material payoffs, but also about such things as fairness, equity and reciprocity. However, this research left fundamental questions unanswered: Are such social preferences stable components of (...) human nature; or, are they modulated by economic, social and cultural environments? Until now, experimental research could not address this question because virtually all subjects had been university students, and while there are cultural differences among student populations throughout the world, these differences are small compared to the full range of human social and cultural environments. A vast amount of ethnographic and historical research suggests that people's motives are influenced by economic, social, and cultural environments, yet such methods can only yield circumstantial evidence about human motives. Combining ethnographic and experimental approaches to fill this gap, this book breaks new ground in reporting the results of a large cross-cultural study aimed at determining the sources of social preferences that underlie the diversity of human sociality. The same experiments which provided evidence for social preferences among university students were performed in fifteen small-scale societies exhibiting a wide variety of social, economic and cultural conditions by experienced field researchers who had also done long-term ethnographic field work in these societies. The findings of these experiments demonstrated that no society in which experimental behaviour is consistent with the canonical model of self-interest. Indeed, results showed that the variation in behaviour is far greater than previously thought, and that the differences between societies in market integration and the importance of cooperation explain a substantial portion of this variation, which individual-level economic and demographic variables could not. Finally, the extent to which experimental play mirrors patterns of interaction found in everyday life is traced.The book starts with a succinct but substantive introduction to the use of game theory as an analytical tool and its use in the social sciences for the rigorous testing of hypotheses about fundamental aspects of social behaviour outside artificially constructed laboratories. The results of the fifteen case studies are summarized in a suggestive chapter about the scope of the project. (shrink)

Clinical psychologists, cognitive psychologists, neuropsychologists, social psychologists and developmental psychologists have all become increasingly interested in studying unconscious mental processes empirically. In the words of the editors, The study of the unconscious has the potential to become the unifying force in psychology, linking cognition and emotion, infancy and old age, normal and pathological development, brain and psyche.

A typical guiding principle of an account of truth is: “truth is objective,” or, to be clear, judging whether an assertion is true or false depends upon how things are in the world rather than how someone or some community believes it to be. Accordingly, whenever a claim is objectively true, its truth conditions ought not depend upon the context in which it is uttered or the utterer making the claim. Part of our ongoing empirical studies surveying people’s responses to (...) questions about truth involved prompts on objectivity. Our studies suggest the following: overall, individuals tend to endorse claims that are consistent with the objectivity of truth; not all conceptions of objectivity are equal, even people who endorse the objectivity of truth sometimes assent to one form of truth’s objectivity over other forms; philosophers and non-philosophers both endorse the objectivity of truth, but the apparent commitment of philosophers is stronger. (shrink)

BackgroundThe increased risk of developing attention-deficit hyperactivity disorder (ADHD) in extremely preterm infants is well-documented. Better understanding of perinatal risk factors, particularly those that are modifiable, can inform prevention efforts.MethodsWe examined data from the Extremely Low Gestational Age Newborns (ELGAN) Study. Participants were screened for ADHD at age 10 with the Child Symptom Inventory-4 (N = 734) and assessed at age 15 with a structured diagnostic interview (MINI-KID) to evaluate for the diagnosis of ADHD (N = 575). We studied associations (...) of pre-pregnancy maternal body mass index (BMI), pregestational and/or gestational diabetes, maternal smoking during pregnancy (MSDP), and hypertensive disorders of pregnancy (HDP) with 10-year and 15-year ADHD outcomes. Relative risks were calculated using Poisson regression models with robust error variance, adjusted for maternal age, maternal educational status, use of food stamps, public insurance status, marital status at birth, and family history of ADHD. We defined ADHD as a positive screen on the CSI-4 at age 10 and/or meeting DSM-5 criteria at age 15 on the MINI-KID. We evaluated the robustness of the associations to broadening or restricting the definition of ADHD. We limited the analysis to individuals with IQ ≥ 70 to decrease confounding by cognitive functioning. We evaluated interactions between maternal BMI and diabetes status. We assessed for mediation of risk increase by alterations in inflammatory or neurotrophic protein levels in the first week of life.ResultsElevated maternal BMI and maternal diabetes were each associated with a 55–65% increase in risk of ADHD, with evidence of both additive and multiplicative interactions between the two exposures. MSDP and HDP were not associated with the risk of ADHD outcomes. There was some evidence for association of ADHD outcomes with high levels of inflammatory proteins or moderate levels of neurotrophic proteins, but there was no evidence that these mediated the risk associated with maternal BMI or diabetes.ConclusionContrary to previous population-based studies, MSDP and HDP did not predict ADHD outcomes in this extremely preterm cohort, but elevated maternal pre-pregnancy BMI, maternal diabetes, and perinatal inflammatory markers were associated with increased risk of ADHD at age 10 and/or 15, with positive interaction between pre-pregnancy BMI and maternal diabetes. (shrink)

Philosophical theorizing about truth manifests a desire to conform to the ordinary or folk notion of truth. This practice often involves attempts to accommodate some form of correspondence. We discuss this accommodation project in light of two empirical projects intended to describe the content of the ordinary conception of truth. One, due to Arne Naess, claims that the ordinary conception of truth is not correspondence. Our more recent study is consistent with Naess’ result. Our findings suggest that contextual factors and (...) respondent gender affect whether the folk accept that correspondence is sufficient for truth. These findings seem to show that the project of accommodating the ordinary notion of truth is more difficult than philosophers had anticipated because it is fragmentary. (shrink)

I en række afhandlinger beskrives den hollandske ISAF styrkes indsats i Afghanisatn fra 2001-2010. I en fireårig periode fra 2006-2010 var det hollandske kontingent indsat i den afghanske provins Uruzgan og opnåede bemærkelsesværdige resultater. Sikkerhedssituationen blev forbedret, den økonomiske udvikling blev stabiliseret ligesom den offentlige administration, uddannelsen af børn og sundhedsplejen m.v. blev forbedret. Efter 2010 er provinsen overtaget af amerikanske og australske tropper.

Why does performing certain tasks cause the aversive experience of mental effort and concomitant deterioration in task performance? One explanation posits a physical resource that is depleted over time. We propose an alternative explanation that centers on mental representations of the costs and benefits associated with task performance. Specifically, certain computational mechanisms, especially those associated with executive function, can be deployed for only a limited number of simultaneous tasks at any given moment. Consequently, the deployment of these computational mechanisms carries (...) an opportunity cost – that is, the next-best use to which these systems might be put. We argue that the phenomenology of effort can be understood as the felt output of these cost/benefit computations. In turn, the subjective experience of effort motivates reduced deployment of these computational mechanisms in the service of the present task. These opportunity cost representations, then, together with other cost/benefit calculations, determine effort expended and, everything else equal, result in performance reductions. In making our case for this position, we review alternative explanations for both the phenomenology of effort associated with these tasks and for performance reductions over time. Likewise, we review the broad range of relevant empirical results from across sub-disciplines, especially psychology and neuroscience. We hope that our proposal will help to build links among the diverse fields that have been addressing similar questions from different perspectives, and we emphasize ways in which alternative models might be empirically distinguished. (shrink)

Researchers from across the social sciences have found consistent deviations from the predictions of the canonical model of self-interest in hundreds of experiments from around the world. This research, however, cannot determine whether the uniformity results from universal patterns of human behavior or from the limited cultural variation available among the university students used in virtually all prior experimental work. To address this, we undertook a cross-cultural study of behavior in ultimatum, public goods, and dictator games in a range of (...) small-scale societies exhibiting a wide variety of economic and cultural conditions. We found, first, that the canonical model – based on self-interest – fails in all of the societies studied. Second, our data reveal substantially more behavioral variability across social groups than has been found in previous research. Third, group-level differences in economic organization and the structure of social interactions explain a substantial portion of the behavioral variation across societies: the higher the degree of market integration and the higher the payoffs to cooperation in everyday life, the greater the level of prosociality expressed in experimental games. Fourth, the available individual-level economic and demographic variables do not consistently explain game behavior, either within or across groups. Fifth, in many cases experimental play appears to reflect the common interactional patterns of everyday life. Key Words: altruism; cooperation; cross-cultural research; experimental economics; game theory; ultimatum game; public goods game; self-interest. (shrink)

In light of the variety of uses of the term autonomy in recent bioethics literature, in this paper, I suggest that competence, not being as contested, is better placed to play the anti-paternalistic role currently assigned to autonomy. The demonstration of competence, I will argue, can provide individuals with robust spheres of non-interference in which they can pursue their lives in accordance with their own values. This protection from paternalism is achieved by granting individuals rights to non-interference upon demonstration of (...) competence. In this paper, I present a risk-sensitive account of competence as a means of grounding rights to non-interference. On a risk-sensitive account of competence individuals demonstrate their competence by exercising three capacities to the extent necessary to meet a threshold determined by the riskiness of the decision. These three capacities are the capacity to acquire knowledge, use instrumental rationality, and form and revise a life plan. (shrink)

This essay maintains that the logical distinction between ‘is’ and ‘ought’ does not amount to a dichotomy between the natural order and the moral, or between speculative knowledge and practical. This essay thus clarifies an important and often misunderstood aspect of the natural law theory advanced by the Grisez School. While affirming the logical distinction of ‘is’ from ‘ought’, this essay attempts to argue that the principles of the moral order have a basis in human nature insofar as human nature (...) delimits the parameters of what is fulfilling for human persons. Furthermore, it is through the experience of one’s nature that one inductively grasps by a non-inferential insight the practical principles whose integral directiveness leads one to human fulfillment. The non-practical awareness of factual data one grasps in experience and which ground such a non-inferential practical insight is distinct from and more basic than reflexive, propositional, speculative knowledge (‘speculative knowledge proper’). Thus, practical understanding supposes some non-practical knowledge, although the non-practical knowledge supposed differs from speculative knowledge as ordinarily understood. Still, while the understanding of practical principles does not presuppose speculative knowledge proper, such speculative knowledge does contribute to practical reasoning in significant ways by supplying content crucial for adequate deliberation. (shrink)

“Racial Justice Requires Ending the War on Drugs” is an impressively well evidenced argument for the need for drug reform. The authors outline how the war on drugs caus...

Many of Tarski’s better known papers are either about or include lengthy discussions of how to properly define various concepts: truth, logical consequence, semantic concepts, or definability. In general, these papers identify two primary conditions for successful definitions: formal correctness and material adequacy. Material adequacy requires that the concept expressed by the formal definition capture the intuitive content of truth. Our primary interest in this paper is to better understand Tarski’s thinking about material adequacy, and whether components of his view (...) developed over time. More precisely, we are concerned with how Tarski’s understanding of the content of the common-sense, every-day usage of truth may have developed over time. We distinguish this concern from the character of the extensional criterion of adequacy Tarski proposes: that a materially adequate definition must entail all instances of Convention T. We will develop our reading of Tarski as follows: first, we will review the “Polemical Remarks,” focusing primarily on §§14 and 17, and Tarski’s references to Naess’ empirical research. Next, we will provide a summary and discussion of Naess’ work, especially his findings with respect to Tarski’s definition of truth and his research that suggests there is no single common or everyday concept of truth. Third, we will consider several possible objections to our interpretation of the Tarski–Naess dialectic. We will conclude that Tarski’s conception of material adequacy developed over time, potentially because of what he had learned through his interactions with Naess. (shrink)